Kochen–Specker theorem studied with neutron interferometer
نویسندگان
چکیده
The Kochen-Specker theorem shows the incompatibility of noncontextual hidden variable theories with quantum mechanics. Quantum contextuality is a more general concept than quantum non-locality which is quite well tested in experiments using Bell inequalities. Within neutron interferometry we performed an experimental test of the Kochen-Specker theorem with an inequality, which identifies quantum contextuality, by using spin-path entanglement of single neutrons. Here entanglement is achieved not between different particles, but between degrees of freedom of a single neutron, i.e., between spin and path degree of freedom. Appropriate combinations of the spin analysis and the position of the phase shifter allow an experimental verification of the violation of an inequality derived from the Kochen-Specker theorem. The observed violation 2.291±0.008≰1 clearly shows that quantum mechanical predictions cannot be reproduced by noncontextual hidden variable theories.
منابع مشابه
A priori Knowledge and the Kochen-Specker Theorem
We introduce and formalize a notion of “a priori knowledge” about a quantum system, and show some properties about this form of knowledge. Finally, we show that the Kochen-Specker theorem follows directly from this study.
متن کاملFinite Precision Measurement Nullifies the Kochen-specker Theorem
Only finite precision measurements are experimentally reasonable, and they cannot distinguish a dense subset from its closure. We show that the rational vectors, which are dense in S, can be colored so that the contradiction with hidden variable theories provided by Kochen-Specker constructions does not obtain. Thus, in contrast to violation of the Bell inequalities, no quantum-over-classical a...
متن کاملKochen–Specker Theorem: Two Geometric Proofs
We present two geometric proofs for KochenSpecker’s theorem [S. Kochen, E. P. Specker: The problem of hidden variables in quantum mechanics, J. Math. Mech. 17 (1967), 5987]. A quite similar argument has been used by Cooke, Keane, Moran [R. Cooke, M. Keane, W. Moran: An elementary proof of Gleason’s theorem, Math. Proc. Camb. Phil. Soc. 98 (1985), 117128], and by Kalmbach in her book to derive G...
متن کاملKochen-Specker theorem for von Neumann algebras
The Kochen-Specker theorem has been discussed intensely ever since its original proof in 1967. It is one of the central no-go theorems of quantum theory, showing the non-existence of a certain kind of hidden states models. In this paper, we first offer a new, non-combinatorial proof for quantum systems with a type In factor as algebra of observables, including I∞. Afterwards, we give a proof of...
متن کاملStrong Kochen-Specker theorem and incomputability of quantum randomness
The Kochen-Specker theorem shows the impossibility for a hidden variable theory to consistently assign values to certain (finite) sets of observables in a way that is noncontextual and consistent with quantum mechanics. If we require noncontextuality, the consequence is that many observables must not have pre-existing definite values. However, the Kochen-Specker theorem does not allow one to de...
متن کامل